Using Semantic Causality Graphs to Validate MAS Models
نویسندگان
چکیده
Multi-agent systems methodologies de ne tasks and tools covering all the development cycle. Modelling and implementation activities are well supported and experimented. However, there has been few e ort invested in debugging and validation techniques for MAS compared to modelling and implementation stages. This paper addresses the lack of tools to debug and validate a MAS. We propose a visual tool to debug and validate some multi-agent system speci cation, capturing causality among messages sent by agents and showing semantic information related to interaction protocols used by agents.
منابع مشابه
Generating an Indoor space routing graph using semantic-geometric method
The development of indoor Location-Based Services faces various challenges that one of which is the method of generating indoor routing graph. Due to the weaknesses of purely geometric methods for generating indoor routing graphs, a semantic-geometric method is proposed to cover the existing gaps in combining the semantic and geometric methods in this study. The proposed method uses the CityGML...
متن کاملCausality and the Semantics of Provenance
Provenance, or information about the sources, derivation, custody or history of data, has been studied recently in a number of contexts, including databases, scientific workflows and the Semantic Web. Many provenance mechanisms have been developed, motivated by informal notions such as influence, dependence, explanation and causality. However, there has been little study of whether these mechan...
متن کاملSemantic-Based Image Retrial in the VQ Compressed Domain using Image Annotation Statistical Models
متن کامل
Tracking Causality by Visualization of Multi-Agent Interactions Using Causality Graphs
Programming multi-agent systems is a hard task and requires tools to assist in the process of testing, validation and verification of both MAS specifications and source code. In this paper, we propose the use of causality graphs, adapted to the context of debugging multi-agents systems, to track causality of events produced in interactions among agents in a group. We believe that simple sequenc...
متن کاملدرونزایی قیمت و مقدار در تجزیه و تحلیل تقاضای گوشت مرغ و گاو: شواهدی از گراف های غیرچرخشی سودار
In this study the causality relationship among variables in chicken and beef markets were investigated based on annual data from 1974 to 2004 in the I.S. of Iran. For this purpose, causality algorithms emerging from directed acyclic graphs were used in two cases, one based on co- integration analysis and innovation correlation matrix of Vector Error Correction Model (VECM) and the other using d...
متن کامل